1. Beyond two
پدیدآورنده : Melvin Fitting, Ewa Orlowska, editors
کتابخانه: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع : Many-valued logic
رده :
{
1648
},
25b3b79dd6ba38a5d290a85cf331984b
2. Compability theory, Semantics, and logic programming
پدیدآورنده : Melvin C. Fitting
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Computable functions,Data structures (computer science)
رده :
QA
9
.
59
.
F58
1986
3. First-order logic and automated theorem proving
پدیدآورنده : Melvin Fitting.
کتابخانه: (کرمان)
موضوع : Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
,
F68
1990
4. First-order logic and automated theorem proving
پدیدآورنده : Fitting, Melvin, 2491-
کتابخانه: (طهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96F528
1990
5. First-order logic and automated theorem proving
پدیدآورنده : Fitting, Melvin
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
.
F68
1996
6. First-order logic and automated theorem proving
پدیدآورنده : Melvin Fitting.
کتابخانه: (کرمان)
موضوع : Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
,
F68
1990
7. First-order modal logic
پدیدآورنده : Fitting, Melvin 2491-
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
199
.
M6
F5
1998
8. Fundamentals of generalized recursion theory
پدیدآورنده : Fitting, Melvin, 2491-
کتابخانه: (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
9. Fundamentals of generalized recursion theory
پدیدآورنده : Fitting, Melvin
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
10. Intuitionistic logic, model theory and forcing
پدیدآورنده : Fitting, Melvin
کتابخانه: (طهران)
موضوع : ، Model theory,، Axiomatic set theory,، Forcing )Model theory(
رده :
QA
9
.
F56
